package typechecker.ast.term;


public class TermVariable extends Expression implements Comparable<TermVariable>{
	private String name;
	public TermVariable(String name) {
		this.name = name;
	}
	
	public String getName() {
		return name;
	}
	
	@Override
	public int compareTo(TermVariable o) {
		return this.name.compareTo(o.getName());
	}

	@Override
	public String toString() {
		return name;
	}

	@Override
	public String preetyPrint() {
		return name;
	}
}
